2

A Proof-Theoretic Semantics for Exclusion

Year:
2017
Language:
english
File:
PDF, 647 KB
english, 2017
3

Finite-memory automata

Year:
1994
Language:
english
File:
PDF, 2.45 MB
english, 1994
5

Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages

Year:
2007
Language:
english
File:
PDF, 326 KB
english, 2007
6

Extending Free Pregroups with Lower Bounds

Year:
2010
Language:
english
File:
PDF, 326 KB
english, 2010
9

The Lambek Calculus Extended with Intuitionistic Propositional Logic

Year:
2016
Language:
english
File:
PDF, 689 KB
english, 2016
10

Extending Free Pregroups with Lower Bounds

Year:
2010
Language:
english
File:
PDF, 1.37 MB
english, 2010
11

De Morgan interpretation of the Lambek-Grishin calculus

Year:
2019
Language:
english
File:
PDF, 232 KB
english, 2019